<script>
export default {
  components: {},
  data () {
    return {
      radio: 0,
      activeName: '1',
    };
  },
  computed: {
    isButtonDisabled() {
      return this.radio === 0;
    }
  },
  methods: {
    check(radio) {
      console.log(radio)
      if (radio === 3) {
        this.$message.success('恭喜你，答对啦！')
      } else {
        this.$message.error('很遗憾，答错啦！')
      }
    },
  }
}
</script>

<template>
  <div>
    <div>
      <h1 align="center">3.5 SAT/SMT</h1>
      <el-divider></el-divider>
      <h3>参考资料</h3>
      <ul>
        <li style="margin-left: 2em;"><a href="https://yurichev.com/writings/SAT_SMT_draft-EN.pdf">Quick introduction into SAT/SMT solvers and symbolic execution</a></li>
        <li style="margin-left: 2em;"><a href="http://deniable.org/reversing/symbolic-execution">Practical Symbolic Execution and SATisfiability Module Theories (SMT) 101</a></li>
      </ul>
      <el-divider></el-divider>

      <h3>SAT/SMT 在计算机科学中通常用于解决什么类型的问题？</h3>
      <el-radio-group v-model="radio">
        <el-radio :label="1">图像处理问题</el-radio>
        <el-radio :label="2">数值计算问题</el-radio>
        <el-radio :label="3">布尔满足性和符号计算问题</el-radio>
        <el-radio :label="4">数据挖掘问题</el-radio>
        <el-button type="primary" plain :disabled="isButtonDisabled" @click="check(radio)">检查</el-button>
      </el-radio-group>
    </div>
    <el-divider></el-divider>

  </div>
</template>

<style scoped>

</style>